The TEX sources written in SAIL are:
TEXHDR.SAI	declarations common to all modules
TEXSYN.SAI	The main syntax module
TEXSEM.SAI	The main semantics module
TEXEXT.SAI	The (dummy) extension module
TEXSYS.SAI	The main driver program
TEXOUT.SAI	Output module for XGP
TEXPRS.SAI	Output module for XEROX Press format
TEXDVI.SAI	Output module for "device-independent" format
TEXFIL.SAI	File name handler for TENEX
TEXF10.SAI	File name handler for TOPS10
TEXF20.SAI	File name handler for TOPS20
TEXPRE.SAI	Preprocessor driver program

There are also some files used in connection with the examples of the manual:
BASIC.TEX[1,3]
BASIC9.TEX[1,3]	(a nine-point version of "basic")
BASICD.TEX[1,3] (a double-size sub-version of "basic")